Covariance and contravariance

Results: 93



#Item
81Object-oriented programming / Data types / Type theory / Polymorphism / Method / Eiffel / Type system / Covariance and contravariance / Generic programming / Software engineering / Computing / Computer programming

Static Bertrand

Add to Reading List

Source URL: se.ethz.ch

Language: English - Date: 2011-03-11 06:32:38
82Object-oriented programming / Polymorphism / Computing / Data types / Covariance and contravariance / Subtype polymorphism / Euclidean vector / Generic programming / Bounded quantification / Software engineering / Type theory / Algebra

On Variance-Based Subtyping for Parametric Types Atsushi Igarashi1 and Mirko Viroli2

Add to Reading List

Source URL: www.sato.kuis.kyoto-u.ac.jp

Language: English - Date: 2003-01-07 03:41:10
83Computer programming / Type theory / Polymorphism / Data types / Generic programming / Subtype polymorphism / Covariance and contravariance / Inheritance / Type system / Software engineering / Object-oriented programming / Computing

Unifying Genericity Combining the Benefits of Virtual Types and Parameterized Classes

Add to Reading List

Source URL: www.daimi.au.dk

Language: English - Date: 2004-02-09 07:34:31
84Type theory / Computer programming / Polymorphism / Data types / Subtype polymorphism / Covariance and contravariance / EXPRESS / Java / E / Software engineering / Computing / Object-oriented programming

Subtypes and Subclasses[removed]Lecture 14 Fall 2005

Add to Reading List

Source URL: ocw.mit.edu

Language: English - Date: 2013-01-12 08:13:31
85Linear algebra / Tensor / Covariance and contravariance of vectors / Einstein notation / Mixed tensor / Euclidean vector / Rank / Outer product / Tensor contraction / Algebra / Tensors / Mathematics

Introduction to Tensors Contravariant and covariant vectors Rotation in 2­space:  

Add to Reading List

Source URL: physics.gmu.edu

Language: English - Date: 2011-12-30 21:27:08
86Type theory / Data types / Functional programming / Functional languages / Java platform / Scala / Type system / Covariance and contravariance / Literal / Computing / Software engineering / Computer programming

The Scala Language Specification Version 2.8

Add to Reading List

Source URL: www.scala-lang.org

Language: English - Date: 2013-10-20 20:02:23
87Object-oriented programming / Computing / Programming language theory / Data types / Java programming language / Subtype polymorphism / Type system / Covariance and contravariance / Inheritance / Software engineering / Type theory / Polymorphism

Taming Wildcards in Java’s Type System ∗ Ross Tate

Add to Reading List

Source URL: cseweb.ucsd.edu

Language: English - Date: 2012-10-05 02:20:07
88Type theory / Data types / Object-oriented programming / Subroutines / Method / Covariance and contravariance / Type system / Polymorphism / Anonymous function / Software engineering / Computing / Computer programming

PDF Document

Add to Reading List

Source URL: julialang.org

Language: English - Date: 2013-10-16 00:19:44
89Vector calculus / Riemannian geometry / Vectors / Tensors / Curvilinear coordinates / Euclidean vector / Covariance and contravariance of vectors / Covariant derivative / Cross product / Algebra / Mathematics / Linear algebra

PDF Document

Add to Reading List

Source URL: www.mech.utah.edu

Language: English - Date: 2007-08-02 14:15:33
90Covariance and correlation / Linear filters / Regression analysis / Kalman filter / Multivariate normal distribution / Linear regression / Covariance matrix / Covariance and contravariance / Covariance / Statistics / Data analysis / Estimation theory

PDF Document

Add to Reading List

Source URL: ai.stanford.edu

Language: English - Date: 2006-05-19 19:06:01
UPDATE